封面仅供参考
|
| 图书信息二维码 |
手机APP(如浏览器/微信等)扫描二维
码获得图书信息，方便书架上找书。
|
| |
【图书谷详细信息】
|
[ 返回前页 ]
|
| 题名： |
逻辑的引擎 Engines of logic
【搜索馆藏电子书】
|
| 索书号： |
TP302.2/D17 |
| 著者： |
(美)马丁·戴维斯(Martin Davis)著；张卜天译 [ 搜索馆藏电子书：马丁 戴维斯 张卜天 ]
|
| 主题词： |
计算机 逻辑设计 |
| 丛书： |
第一推动丛书 |
| 出版： |
湖南科学技术出版社 长沙 2018 |
| ISBN： |
978-7-5357-9442-0
|
| 说明： |
单价：49元｜语种：chi｜页数：17,291页｜开本：21cm｜图表：图｜装订：平装｜编目日期：2023-12-09 |
| 相关链接： |
[◆相关电子图书]
|
| 内容介绍： |
本书剖析了计算机思想层面的历史，通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述数学家们如何在成果付诸应用之前就已经提出了其背后的思想。 附注信息： 通过中国台湾博达著作权代理有限公司获得版权。 本书限中国大陆发行 |
 图书在库情况 |
|
|
|
|
| ◥◤ 注意：在库图书请到相应存放地点找书！
|
|
图书条形码
|
状态
|
存放地点/层架号
|
入藏日期
|
借出日期
|
应还日期
|
|
0171240
|
在库可外借
|
二楼开架书库
|
2023-12-09
|
| |
|
0171241
|
在库可外借
|
二楼开架书库
|
2023-12-09
|
| |
|
层架号格式：AABBBCDDE（AA-书库代码 BBB-书架排编号 C-A/B面 DD-书架号 E-层号），鼠标在上显示详细信息。
本丛书包含： 《第一推动丛书》
|
返回书目查询页